201. Recursion theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
R4
1985
202. Recursion theory
پدیدآورنده : Shoenfield, Joseph Robert
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
203. Recursion theory and computational complexity
پدیدآورنده : G . Lolli)ED(
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع :
رده :
QA
9
,.
6
.
R4
2010
204. Recursion theory for metamathematics
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S68
1993
205. Recursion theory week : proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1141
206. Recursion theory week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده : K. Ambos-Spies, G. H. Muller, G. E. Sacks )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
Vol
.
1432
207. Recursion theory week: proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1432
208. Recursion theory week: proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
3
.
L28
no
.
1141
209. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Recursion theory
رده :
QA
1
.
L4
v
.
1141
210. Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller, and G.E. Sacks
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Recursion theory
رده :
QA
9
.
6
.
R4
1984
211. Recursion theory week: proceedings of a conference held in Oberwolfach, west Germany, April 15-21, 1984
پدیدآورنده : edited by H.-D. Ebbinghaus, G.H. Muller and G.E. Sacks
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Recursion theory,، Representations of groups
رده :
QA
3
.
L28
no
.
1141
212. Recursive analysis
پدیدآورنده : Goodstein, Reuben Louis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory
رده :
QA
248
.
5
.
G6
213. Recursive aspects of descriptive set theory /
پدیدآورنده : Richard Mansfield, Galen Weitkamp ; with a chapter by Stephen Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Descriptive set theory.,Recursion theory.,Descriptive set theory.,Deskriptive Mengenlehre.,Deskriptive Mengenlehre.,Recursie.,Recursion theory.,Rekursionstheorie.,Rekursionstheorie.,Verzamelingen (wiskunde)
رده :
QA248
.
M284
1985
214. Resources for teaching discrete mathematics :
پدیدآورنده : edited by Brian Hopkins
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics-- Study and teaching (Higher)-- United States,Mathematics-- Study and teaching (Higher)-- United States
رده :
QA13
.
R4768
2009
215. Risk Theory
پدیدآورنده : by Robert Eric Beard, Teivo Pentikäinen, Erkki Pesonen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Science (General).
216. Semantics of parallelism :
پدیدآورنده : Michael W. Shields
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Programming languages (Electronic computers) -- Semantics
رده :
QA76
.
58
M534
1997
217. Set theory and hierarchy theory V ... 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, and A. Zarach
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory -- Hierarchies,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
619
218. Set theory and hierarchy theory V:Bierutowice, Ploand, 1976
پدیدآورنده : Conference on set Theory and Hierachy Theory, 3d, Bierutowice, Poland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Hirarchies -Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
219. Set theory and hierarchy theory V : Bierutowice, Poland, 1976
پدیدآورنده : edited by A. Lachlan, M. Srebrny, A. Zarach
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Hierarchies -- Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
248
.
C6
1976
220. Set theory and hierarchy theory V: Bierutowice, Poland, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Set theory,Hierarchies Congresses ، Recursion theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
619
